trait I { m(Self) -> Unit }
pub impl I for Int with m(self) {}